[XEN] Fix non-debug builds.
authorkfraser@dhcp93.uk.xensource.com <kfraser@dhcp93.uk.xensource.com>
Mon, 19 Jun 2006 10:10:10 +0000 (11:10 +0100)
committerkfraser@dhcp93.uk.xensource.com <kfraser@dhcp93.uk.xensource.com>
Mon, 19 Jun 2006 10:10:10 +0000 (11:10 +0100)
commit5445814f56ed8295f06f8b6325b6cfb144f64363
treef68e7259df8ca8134e476a6fb8e45096ea0890dd
parent3be130f83911170df86f5d37df523fe64d3623c6
[XEN] Fix non-debug builds.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c